ring axioms

环公理